On complexity of regular realizability problems
نویسنده
چکیده
A regular realizability (RR) problem is testing nonemptiness of intersection of some fixed language (filter) with a regular language. We show that RR problems are universal in the following sense. For any language L there exists RR problem equivalent to L under disjunctive reductions on nondeterministic log space. We conclude from this result an existence of complete problems under polynomial reductions for many complexity classes including all classes of the polynomial hierarchy.
منابع مشابه
Regular realizability problems and regular languages
We investigate regular realizability (RR) problems, which are the problems of verifying whether intersection of a regular language – the input of the problem – and fixed language called filter is non-empty. We consider two kind of problems depending on representation of regular language. If a regular language on input is represented by a DFA, then we obtain (deterministic) regular realizability...
متن کاملRegular Realizability Problems and Context-Free Languages
We investigate regular realizability (RR) problems, which are the problems of verifying whether the intersection of a regular language – the input of the problem – and a fixed language, called a filter, is non-empty. In this paper we focus on the case of context-free filters. The algorithmic complexity of the RR problem is a very coarse measure of the complexity of context-free languages. This ...
متن کاملRegular realizability problems and models of a generalized nondeterminism
Models of a generalized nondeterminism are defined by limitations on nondeterministic behavior of a computing device. A regular realizability problem is a problem of verifying existence of a special sort word in a regular language. These notions are closely connected. In this paper we consider regular realizability problems for languages consisting of all prefixes of an infinite word. These pro...
متن کاملDecidability Results for Choreography Realization
A service choreography defines a set of permitted sequences of message events as a specification for the interaction of services. Realizability is a fundamental sanity check for choreographies comparable to the notion of soundness for workflows. We study several notions of realizability: partial, distributed, and complete realizability. They establish increasingly strict conditions on realizing...
متن کاملParametric Linear Dynamic Logic (full version)
We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by adding temporal operators equipped with parameters that bound their scope. LDL itself was proposed as an extension of Linear Temporal Logic (LTL) that is able to express all ω-regular specifications while still maintaining many of LTL’s desirable properties like intuitive syntax and semantics and a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1211.0606 شماره
صفحات -
تاریخ انتشار 2012